structure S =
struct
  val x : int
end
